../../../language/examples/pennant.cc